Skip to main content
Scour
Discover
Docs
Login
Sign Up
Discover
About
Docs
Changelog
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Dependent Rust
⚡ Dependent Rust
Specific
Verification, Type-level Programming, Safety Proofs, Linear Types
Filter Results
Timeframe
Choose a timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
25
posts in
22.7
ms
⏰
Temporal Logic
arxiv.org
·
4d
4 days ago
Verifying LTL for Infinite
State
Systems via Termination
Analysis
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Verifying LTL for Infinite State Systems via Termination Analysis
Less-relevant results
💻
Programming languages
TNW | Artificial-Intelligence
·
2d
2 days ago
Pramaana Labs raised $27M to wrap AI in mathematical
proof
for law, tax, and drug discovery
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Pramaana Labs raised $27M to wrap AI in mathematical proof for law, tax, and drug discovery
🔠
Type-Level Programming
Serokell Blog
·
5d
5 days ago
How Serokell Contributes to the Future of Haskell
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for How Serokell Contributes to the Future of Haskell
📝
Compiler Design
Adrian Sampson
·
2d
2 days ago
Advanced Compilers: The Self-Guided Online Course
Covers
llvm.org - 20.3 kb
Covered by
3 sources
See all sources covering this story
including
Hacker News
,
daemonology.net
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Advanced Compilers: The Self-Guided Online Course
💻
Programming languages
TechCrunch
·
3d
3 days ago
Pramaana Labs raises $27M seed round from Khosla Ventures to bring
formal
verification
to AI
Covered by
SiliconANGLE
,
AI资讯速览
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Pramaana Labs raises $27M seed round from Khosla Ventures to bring formal verification to AI
💻
Programming languages
David Wong
·
5d
5 days ago
Looking for a cryptography audit? Here's where to go
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Looking for a cryptography audit? Here's where to go
📚
Archive Mathematics
patreon.com
·
3d
3 days ago
Bcachefs 1.38.6 - the performance release
Covered by
theregister
,
Linuxiac
Discussed on
Hacker News
and
Lobsters
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Bcachefs 1.38.6 - the performance release
💻
Programming languages
link.springer.com
·
4d
4 days ago
The French School of
Programming
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for The French School of Programming
⚡
SMT Applications
arxiv.org
·
5d
5 days ago
ESBMC-PLC:
Formal
Verification
of IEC 61131-3 Ladder Diagram
Programs
Using SMT-Based Model Checking
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for ESBMC-PLC: Formal Verification of IEC 61131-3 Ladder Diagram Programs Using SMT-Based Model Checking
🌐
Protocol Synthesis
github.blog
·
5d
5 days ago
GitHub Copilot CLI for Beginners: Overview of common slash commands
Covers
GitHub Copilot CLI
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for GitHub Copilot CLI for Beginners: Overview of common slash commands
⚡
Circuit Design
arxiv.org
·
6d
6 days ago
HierSVA: A Data Synthesis Pipeline, Dataset, and Benchmark for LLM-Driven Hierarchical Hardware
Formal
Verification
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for HierSVA: A Data Synthesis Pipeline, Dataset, and Benchmark for LLM-Driven Hierarchical Hardware Formal Verification
🔄
Finite State Machines
arxiv.org
·
5d
5 days ago
The Complexity of Bisimilarity and
Model
Checking
in Finitary Diagrams
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for The Complexity of Bisimilarity and Model Checking in Finitary Diagrams
🔄
Finite State Machines
arxiv.org
·
4d
4 days ago
UMB: A Unified Markov Binary
Format
for Probabilistic
Model
Checking
(extended version)
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for UMB: A Unified Markov Binary Format for Probabilistic Model Checking (extended version)
🔄
Finite State Machines
arxiv.org
·
3d
3 days ago
Monadic
dependence
from reducts, and applications to twin-width of oriented graphs
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Monadic dependence from reducts, and applications to twin-width of oriented graphs
🔄
Finite State Machines
arxiv.org
·
4d
4 days ago
A Neuro-Symbolic Approach to Strategy Synthesis for Strategic Logics
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for A Neuro-Symbolic Approach to Strategy Synthesis for Strategic Logics
✅
Formal Methods
arxiv.org
·
4d
4 days ago
IsabeLLM: Automated Theorem Proving Applied to
Formally
Verifying
Consensus
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus
💻
Programming languages
arxiv.org
·
4d
4 days ago
Planning to Hammer: Difficulty-Aware Decomposition for Automating Rocq
Proofs
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Planning to Hammer: Difficulty-Aware Decomposition for Automating Rocq Proofs
💻
Programming languages
arxiv.org
·
3d
3 days ago
Graph-ESBMC-PLC:
Formal
Verification
of Graphical PLCopen XML Ladder Diagram
Programs
Using SMT-Based Model Checking
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Graph-ESBMC-PLC: Formal Verification of Graphical PLCopen XML Ladder Diagram Programs Using SMT-Based Model Checking
💻
Programming languages
arxiv.org
·
3d
3 days ago
As You Wish: Mission Planning with
Formal
Verification
using LLMs in Precision Agriculture
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for As You Wish: Mission Planning with Formal Verification using LLMs in Precision Agriculture
🔄
Finite State Machines
arxiv.org
·
5d
5 days ago
A Correct Algorithm for Identifying Independent Variable Sets in Reactive Systems
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for A Correct Algorithm for Identifying Independent Variable Sets in Reactive Systems
Page 2 »
Log in to enable infinite scrolling
Keyboard Shortcuts
Navigation
Next / previous post
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Discover
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help
Like
Save
Not for me
Report